Universal-Lexikon. 2012.
Sequenzregel — Sequenzregeln gibt es in folgenden Zusammenhängen der Mathematischen Logik: im wp Kalkül, siehe wp Kalkül#Sequenzregel im Hoare Kalkül, siehe Hoare Kalkül#Kompositions oder Sequenzregel Diese Seite ist eine Begriffsklärung zur Unt … Deutsch Wikipedia
Enantiomer — Struktur der beiden Enantiomere von Milchsäure: Links (S) Milchsäure, rechts (R) Milchsäure Enantiomere sind Stereoisomere chemischer Verbindungen, die sich in ihrer Konstitution decken und sich in den räumlichen Strukturen zu einem Gegenstück… … Deutsch Wikipedia
Enantiomere — Struktur der beiden Enantiomere von Milchsäure. Links (S) Milchsäure, rechts (R) Milchsäure. Enantiomere sind Stereoisomere chemischer Verbindungen, die in ihrer Konstitution übereinstimmen, sie besitzen also die gleiche Summenformel und die… … Deutsch Wikipedia
Enantiomerenreinheit — Struktur der beiden Enantiomere von Milchsäure. Links (S) Milchsäure, rechts (R) Milchsäure. Enantiomere sind Stereoisomere chemischer Verbindungen, die in ihrer Konstitution übereinstimmen, sie besitzen also die gleiche Summenformel und die… … Deutsch Wikipedia
Enantiospezifisch — Struktur der beiden Enantiomere von Milchsäure. Links (S) Milchsäure, rechts (R) Milchsäure. Enantiomere sind Stereoisomere chemischer Verbindungen, die in ihrer Konstitution übereinstimmen, sie besitzen also die gleiche Summenformel und die… … Deutsch Wikipedia
Levo — Struktur der beiden Enantiomere von Milchsäure. Links (S) Milchsäure, rechts (R) Milchsäure. Enantiomere sind Stereoisomere chemischer Verbindungen, die in ihrer Konstitution übereinstimmen, sie besitzen also die gleiche Summenformel und die… … Deutsch Wikipedia
wp-Kalkül — Der wp Kalkül ist ein Kalkül in der Informatik zur Verifikation eines imperativen Programmcodes. Die Abkürzung wp steht für weakest precondition, auf deutsch schwächste Vorbedingung. Bei der Verifikation geht es nicht darum, die Funktion mit… … Deutsch Wikipedia
Hoare-Kalkül — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… … Deutsch Wikipedia
cis-trans-Isomerie — Die cis trans Isomerie oder (Z) (E) Isomerie bezeichnet in der Chemie eine spezielle Form der Konfigurationsisomerie, bei der sich die Moleküle nur hinsichtlich der relativen Stellung von zwei Substituenten bezüglich einer Referenzebene… … Deutsch Wikipedia
Priorität — Vorzug; Vorrang; Dringlichkeit * * * Pri|o|ri|tät [priori tɛ:t], die; , en: höherer Rang, größere Bedeutung (im Vergleich zu etwas anderem): dieses wichtige Problem genießt absolute Priorität. Syn.: ↑ Vorrang, ↑ Vorrecht. * * * Pri|o|ri|tät 〈f … Universal-Lexikon
